● Définition implicite définition d'un système d'objets, dans l'axiomatique moderne. (Par exemple, les axiomes de la théorie des groupes sont des définitions implicites de la structure de groupe.)
Encyclopédie Universelle. 2012.
DÉFINITION — Traditionnellement, définir, c’est expliciter, lorsqu’il s’agit d’un mot, et, lorsqu’il s’agit d’un être, c’est lui assigner un statut; on définit par genre prochain et différence spécifique: «La rose est une fleur d’églantier dont les étamines… … Encyclopédie Universelle
implicite — [ ɛ̃plisit ] adj. • 1488 relig.; lat. implicitus, de implicare → impliquer ♦ Qui est virtuellement contenu dans une proposition, un fait, sans être formellement exprimé, et peut en être tiré par déduction, induction. Condition implicite. Volonté… … Encyclopédie Universelle
Definition — Définition Pour l article concernant la définition d un moniteur ou d une carte graphique, voir définition d écran. Voir « … Wikipédia en Français
Définition — Pour les articles homonymes, voir Définition (Homonymie). Sur les autres projets Wikimedia : « Définition », sur le Wiktionnaire (dictionnaire universel) Une définition est un discours qui dit ce qu est une chose ou ce que signifie … Wikipédia en Français
Implicite — Implication (logique) Pour les articles homonymes, voir Implication. En logique classique, l expression « une proposition P implique logiquement une proposition Q » signifie « la proposition ¬P ∨ Q est vraie ». Formellement… … Wikipédia en Français
PROGRAMMATION — Un ordinateur est une machine universelle pour le traitement de l’information. Il doit pouvoir être utilisé aussi bien pour des calculs numériques que pour la gestion d’un stock de pièces détachées ou des travaux de secrétariat. Il est donc… … Encyclopédie Universelle
MATHÉMATIQUES , DE LA DIVERSITÉ À L’UNIFICATION — «Ce que nous appelons la réalité objective, c’est, en dernière analyse, ce qui est commun à plusieurs êtres pensants, et pourrait être commun à tous; cette partie commune [...], ce ne peut être que l’harmonie exprimée par des lois mathématiques.» … Encyclopédie Universelle
Démonstration par récurrence — Raisonnement par récurrence En mathématiques, le raisonnement par récurrence est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points… … Wikipédia en Français
Principe de récurrence — Raisonnement par récurrence En mathématiques, le raisonnement par récurrence est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points… … Wikipédia en Français
Raisonnement Par Récurrence — En mathématiques, le raisonnement par récurrence est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels. Le raisonnement par récurrence consiste à démontrer les points suivants : Une propriété… … Wikipédia en Français
